exception MyExn

let ((_ : exn) & (MyExn) | (_)) = exn ()